The Boolean Hierarchy and the Polynomial Hierarchy: a Closer Connection
نویسندگان
چکیده
We show that if the Boolean hierarchy collapses to level k, then the polynomial hierarchy collapses to BH3(k), where BH3(k) is the k th level of the Boolean hierarchy over Σ2 . This is an improvement over the known results [3], which show that the polynomial hierarchy would collapse to P [O(log . This result is significant in two ways. First, the theorem says that a deeper collapse of the Boolean hierarchy implies a deeper collapse of the polynomial hierarchy. Also, this result points to some previously unexplored connections between the Boolean and query hierarchies of ∆2 and ∆ P 3 . Namely, BH(k) = co-BH(k) =⇒ BH3(k) = co-BH3(k) P = P =⇒ P ‖[k+1] = P NP‖[k+2].
منابع مشابه
Using boolean and fuzzy logic combined with analytic hierarchy process for hazardous waste landfill site selection: A case study from Hormozgan province, Iran
Hazardous wastes include numerous kinds of discarded chemicals and other wastes generated from industrial, commercial, and institutional activities. These types of waste present immediate or long-term risks to humans, animals, plants, or the environment and therefore require special handling for safe disposal. Landfills that can accept hazardous wastes are excavated or engineered sites where th...
متن کاملOn Boolean Lowness and Boolean Highness
The concepts of lowness and highness originate from recursion theory and were introduced into the complexity theory by Sch. oning (Lecture Notes in Computer Science, Vol. 211, Springer, Berlin, 1985). Informally, a set is low (high resp.) for a relativizable class K of languages if it does not add (adds maximal resp.) power to K when used as an oracle. In this paper, we introduce the notions of...
متن کاملBoaz Barak
1. It confirms a 1986 conjecture of H̊astad (also raised by and discussed by many others) that the polynomial hierarchy is infinite with respect to a random oracle. (We’ve already had strong reasons to believe H̊astad’s conjecture, since Book showed in 1994 that it’s true unless the polynomial hierarchy collapses.) The prior best result was by O’Donnell and Wimmer in 2007, who showed that Σ3 6⊆ Σ...
متن کاملComparison of parametric and fuzzy analytic hierarchy process in land evaluation (Case study: Varamin region)
In last decades, the skillful planning of land resources has become a major issue for rural development. The development of cultivated areas becomes gradually impossible due to ever increasing population growth and urban development. Fuzzy logic is preferred to Boolean logic for land evaluation, because fuzzy techniques lead to estimate for land use suitability on a continuous scale and can the...
متن کاملUnambiguous Computation: Boolean Hierarchies and Sparse Turing-Complete Sets
It is known that for any class C closed under union and intersection, the Boolean closure of C, the Boolean hierarchy over C, and the symmetric difference hierarchy over C all are equal. We prove that these equalities hold for any complexity class closed under intersection; in particular, they thus hold for unambiguous polynomial time (UP). In contrast to the NP case, we prove that the Hausdorf...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- SIAM J. Comput.
دوره 25 شماره
صفحات -
تاریخ انتشار 1990